Topological Modal Logics with Difference Modality
نویسنده
چکیده
We consider propositional modal logic with two modal operators and [ 6 =]. In topological semantics is interpreted as an interior operator and [ 6=] as difference. We show that some important topological properties are expressible in this language. In addition, we present a few logics and proofs of f.m.p. and of completeness theorems.
منابع مشابه
Topological Pure Completeness for Hybrid Logics without the Global Modality
In this paper, we extend the general topological completeness result [3] of the strong hybrid language H(E) with the global modality E to the weaker hybrid language H(@) with the nominals i and the satisfaction operators @i (Theorem 1). Furthermore, we also generalize this topological completeness result of H(@) to monotonic neighborhood frames (Theorem 2).
متن کاملThe Topology of Justification
Justification Logic is a family of epistemic logical systems obtained from modal logics of knowledge by adding a new type of formula t:F , which is read t is a justification for F . The principal epistemic modal logic S4 includes Tarski’s well-known topological interpretation, according to which the modality 2X is read the Interior of X in a topological space (the topological equivalent of the ...
متن کاملAnnouncement as effort on topological spaces
We propose a multi-agent logic of knowledge, public and arbitrary announcements, that is interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, and d...
متن کاملIsomorphism via translation
We observe that the known fact that difference logic and hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far wider class of general frames. This observation, together with a general completeness result, is used to show that lattices of difference logics and of hybrid logics are isomorphic.
متن کاملOn the relative succinctness of modal logics with union, intersection and quantification
In the study of knowledge representation formalisms, there is a current interest in the question of how different formal languages compare in their ability to compactly express semantic properties. Recently, French et al. [9] have shown that modal logics with a modality for public announcement, for everybody knows, and for somebody knows are all exponentially more succinct than basic modal logi...
متن کامل